projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebb4a12) | patch
tools/ocaml: Add missing X86_EMU_VPCI
authorIan Jackson <ian.jackson@eu.citrix.com>
Mon, 9 Sep 2019 17:12:04 +0000 (18:12 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Tue, 10 Sep 2019 13:44:33 +0000 (14:44 +0100)
commit774ebe2ad76a80031fb9402254ae7065af908e57
treebd20d53947f3a443590c1126e9616af61aef40adtree | snapshot
parentebb4a12f5fd9b3aebda265b969e7c6d51d5e8670commit | diff
tools/ocaml: Add missing X86_EMU_VPCI

This was missing from x86_arch_emulation_flags.

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Andrew Cooper <Andrew.Cooper3@citrix.com>
tools/ocaml/libs/xc/xenctrl.ml diff | blob | history
tools/ocaml/libs/xc/xenctrl.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.